Merge branch 'menushell-bandaid' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 6 Apr 2019 00:40:54 +0000 (00:40 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 6 Apr 2019 00:40:54 +0000 (00:40 +0000)
Make menu activation work again

Closes #1796

See merge request GNOME/gtk!721


Trivial merge